Na doença falciforme, o genótipo HbSS da anemia falciforme, considerado a forma mais grave, prevalente no continente africano, tem alta morbidade e mortalidade. Objetivo: identificar se a estrutura instalada na atenção às pessoas com anemia falciforme e seus familiares, contribui para a redução da mortalidade precoce em Angola. Material e Método: pesquisa exploratória descritiva, realizada em Luanda-Angola, no período entre agosto e dezembro de 2022. Foram aplicados questionários estruturados para 20 pessoas com doença falciforme e 15 familiares, todos com mais (...) de 21 anos. A metodologia utilizada foi bola de neve. Para análise e discussão dos dados, foi utilizado o referencial teórico de Donabedian, com ênfase no eixo estrutura. Resultados: diagnóstico feito por sinais e sintomas, idade do diagnóstico entre 1 e 5 anos. A crise de dor predominou entre eventos agudos. Conclusão: inexistência de estrutura instalada de saúde em Luanda que garantam no serviço público gratuito o acesso à medicamentos, transfusão de sangue, vacinas especiais e exames complementares. A transferência de tecnologias sociais da organização de sociedade civil brasileira para a de Luanda mostra ser adequada. (shrink)

Within a weak subsystem of second-order arithmetic , that is -conservative over , we reformulate Kreisel's proof of the Second Incompleteness Theorem and Boolos' proof of the First Incompleteness Theorem.

Taking a fresh look at questions that have long troubled teachers committed to social change, No Angel in the Classroom provides a richly conceptualized and down-to-earth account of feminist teaching in higher education. Long-time feminist educator, Berenice Malka Fisher, gives a nuanced interpretation of second wave feminist consciousness-raising that bridges the gap between feminist activism and the academy. Candid classroom stories bring out the myths embedded in many activist ideals of the 1970s, while Fisher's informed analysis builds on these (...) tensions, offering a complex amount of experience, emotion, thought, and action in feminist teaching. (shrink)

Examinaremos como surge, na Kritik der Urteilskraft, a discussão acerca do belo como símbolo do bem moral, a saber: na Dialética da faculdade de julgar estética, na segunda divisão da Crítica da faculdade de julgar estética. Traçaremos paralelo entre a antinomia do gosto e sua resolução com a antinomia da razão prática, tal como apresentada na Kritik der praktischen Vernunft. Pretendemos mostrar como ambas fazem recurso à distinção entre fenômenos e coisas em si como fonte de sua resolução. Discutiremos, em (...) seguida, como Kant apresenta a necessidade de sensibilização de ideias estéticas, e como o simbolismo permite tal feito. Além disso, vincularemos tais passos da argumentação de Kant à defesa do idealismo da finalidade. (shrink)

We present a new axiomatization of the classical discounted expected utility model, which is primarily used as a decision model for consumption streams under risk. This new axiomatization characterizes discounted expected utility as a model that satisfies natural extensions of standard axioms as in the one-period case and two additional axioms. The first axiom is a weak form of time separability. It only requires that the choice between certain constant consumption streams and lotteries should be made by just taking into (...) account the time periods where the consumption is different. The second axiom, the time–probability equivalence, requires that risk and time preferences basically work in the same way. Moreover, we prove that preferences satisfying the natural extensions of the standard axioms as well as the first axiom can be represented in a simple form relying on three functions linked to the risk or time preferences in simple situations. Finally, we illustrate that several examples that are not fully time separable satisfy all our axioms except for the time–probability equivalence. (shrink)

In this note we show that groups with definable generics in a separably closed valued field K of finite imperfection degree can be embedded into groups definable in the algebraic closure of K.

RESUMO A série Black Mirror, transmitida entre 2011 e 2023 pela Netflix, tornou-se um fenômeno de mídia e seus episódios mostraram formas de interação homem-máquina (terminologia também referida como humano-computador). O nome da série se refere ao fato de que, quando uma tela é desligada, ela se torna um espelho negro que reflete a imagem do usuário. Este artigo1 tem como objetivo analisar os efeitos da interação homem-máquina nas organizações produtivas apresentadas em Black Mirror. Esta pesquisa utilizou a análise do (...) discurso, principalmente a partir das contribuições de Mikhail Bakhtin. O método consistiu em três etapas que contaram com a colaboração de estudantes de graduação e pós-graduação em Engenharia de Produção, integrando ensino e pesquisa e desenvolvendo o senso crítico dos pesquisadores-iniciantes. Os resultados indicam que, nas organizações apresentadas na série Black Mirror, há uma transição do conceito de fatores humanos para fatores ciborgues, bem como o uso da interação homem-máquina para promover o controle social. (shrink)

Mitochondria are increasingly being recognized as information hubs that sense cellular changes and transmit messages to other cellular components, such as the nucleus, the endoplasmic reticulum (ER), the Golgi apparatus, and lysosomes. Nonetheless, the interaction between mitochondria and the nucleus is of special interest because they both host part of the cellular genome. Thus, the communication between genome‐bearing organelles would likely include gene expression regulation. Multiple nuclear‐encoded proteins have been known to regulate mitochondrial gene expression. On the contrary, no mitochondrial‐encoded (...) factors are known to actively regulate nuclear gene expression. MOTS‐c (mitochondrial open reading frame of the 12S ribosomal RNA type‐c) is a recently identified peptide encoded within the mitochondrial 12S ribosomal RNA gene that has metabolic functions. Notably, MOTS‐c can translocate to the nucleus upon metabolic stress (e.g., glucose restriction and oxidative stress) and directly regulate adaptive nuclear gene expression to promote cellular homeostasis. It is hypothesized that cellular fitness requires the coevolved mitonuclear genomes to coordinate adaptive responses using gene‐encoded factors that cross‐regulate the opposite genome. This suggests that cellular gene expression requires the bipartite split genomes to operate as a unified system, rather than the nucleus being the sole master regulator. (shrink)

A paradigm for peace discovered in the cosmopolitan neighborhoods of poor urban immigrants.

We give a proof of Gödel's first incompleteness theorem based on Berry's paradox, and from it we also derive the second incompleteness theorem model-theoretically.

By formalizing Berry's paradox, Vopěnka, Chaitin, Boolos and others proved the incompleteness theorems without using the diagonal argument. In this paper, we shall examine these proofs closely and show their relationships. Firstly, we shall show that we can use the diagonal argument for proofs of the incompleteness theorems based on Berry's paradox. Then, we shall show that an extension of Boolos' proof can be considered as a special case of Chaitin's proof by defining a suitable Kolmogorov complexity. We shall show (...) also that Vopěnka's proof can be reformulated in arithmetic by using the arithmetized completeness theorem. (shrink)

A finalidade explícita na arquitetura e ênfase na utilidade, no aspecto de uma aplicação prática, intrigou filósofos alemães como Immanuel Kant e August Schlegel. O entrelaçamento entre beleza e finalidade na arquitetura fora notado cedo por Marco Vitrúvio Polião, que aponta utilidade, solidez e beleza como características fundamentais da obra arquitetônica. Segundo Guyer, a partir de Kant, o pensamento filosófico sobre a arquitetura começa a apresentar um distanciamento em relação a Vitrúvio, de modo que, mesmo sem total renúncia à tríade (...) vitruviana no pensamento de Kant, este defende ser a característica principal da arquitetura representar ideias estéticas. A tese de Guyer aponta o desenvolvimento desse ponto de Kant em Schelling, Hegel e Schopenhauer, todavia com uma lacuna: August Schlegel, fundador do primeiro sistema de belas artes com sua Kunstlehre. Buscaremos aprofundar como a tese de Guyer não só é válida, mas ganha mais solidez no caso de August Schlegel e do papel que este confere à imaginação na arquitetura. Após a indicação de elementos vitruvianos e pós-vitruvianos em Kant e Schlegel, indicaremos as divergências entre ambos na apreciação da arquitetura, a partir de suas articulações entre arquitetura e finalidade. (shrink)

A Crítica da faculdade de julgar foi recebida com entusiasmo pelos filósofos do idealismo alemão. No caso de Friedrich Schelling, as duas partes da obra foram influentes, de modo que não só a estética kantiana, mas também a teleologia foi marcante em sua trajetória filosófica. Observaremos como o filósofo de Leonberg acolhe, na Introdução às Ideias para uma filosofia da natureza, a noção kantiana de organismo como dotado de autocausalidade, mas pensa-a nos quadros de uma filosofia pós-kantiana, buscando prescindir das (...) noções de juízo reflexionante e também da ideia de “natureza como arte” para se pensar o organismo. Como Schelling vincula essa noção com a proposta de se pensar a unidade entre natureza e espírito a partir do próprio sujeito, e não de algo exterior a ele? Como Kant reagiria a tal proposta? The Critique of Judgment was enthusiastically received by the German Idealists. In the case of Friedrich Schelling, both divisions of the work were influent, thus resulting that not only Kantian aesthetics, but also the teleology was a landmark in his philosophical itinerary. We attempt to observe how the philosopher of Leonberg receives, in the Introduction to the Ideas for a Philosophy of Nature, the Kantian conception of organism as endowed with self-causality, but at the same time thinks it within the frame of a post-Kantian philosophy, leaving aside the reflective judgment and also the idea of nature as a product of art in order to think the organism. How does Schelling connect this notion with the proposal to think the unity between nature and spirit based on the own subject, and not on something external to it? How would Kant react to such a proposal? (shrink)

Buscar-se-á no presente trabalho analisar os discursos acerca da formação do Estado em Rousseau e Locke. Os autores compartilham a teoria de uma forma de contrato social – um acordo deliberado entre seres humanos cuja condição selvagem se extingue neste momento decisório. Dessa forma, em ambos os autores, o Estado surge como um agente, ou corpo, protetor. Em contrapartida, os estudos de Pierre Clastres – etnólogo francês – referentes a grupos primitivos contemporâneos demonstram a existência de uma permanente conjuração contra (...) a possibilidade do surgimento de um poder político alienado do controle do grupo como um todo. Ou seja, uma conjuração contra o Estado. Nesse sentido, o objetivo geral desse trabalho é colidir tais ideias, assim como suas possíveis reverberações atuais. (shrink)

It is well known that Gödel’s incompleteness theorems hold for ∑1-definable theories containing Peano arithmetic. We generalize Gödel’s incompleteness theorems for arithmetically definable theories. First, we prove that every ∑n+1-definable ∑n-sound theory is incomplete. Secondly, we generalize and improve Jeroslow and Hájek’s results. That is, we prove that every consistent theory having ∏n+1set of theorems has a true but unprovable ∏nsentence. Lastly, we prove that no ∑n+1-definable ∑n-sound theory can prove its own ∑n-soundness. These three results are generalizations of Rosser’s (...) improvement of the first incompleteness theorem, Gödel’s first incompleteness theorem, and the second incompleteness theorem, respectively. (shrink)

This study explored representations of self-injury in Japanese manga. A content analysis of fifteen slice-of-life manga published between 2000-2017 was conducted, focusing on forty scenes that depict eighteen characters engaging in self-injury. Most depictions of self-injury reflect a stereotypical perception of “self-injurer,” a young girl cutting herself to cope with negative emotion. Characters receive informal support from friends and partners, while parents are portrayed as unsupportive and even triggering. An emergent trend was observed among manga targeting male readers to label (...) self-injuring women as “menhera” - mentally vulnerable damsels in distress - inviting a fetishistic gaze on the self-injuring female bodies. (shrink)

To preserve postoperative brain function, it is important for neurosurgeons to fully understand the brain's structure, vasculature, and function. Intraoperative high-frequency electrical stimulation during awake craniotomy is the gold standard for mapping the function of the cortices and white matter; however, this method can only map the “focal” functions and cannot monitor large-scale cortical networks in real-time. Recently, an in vivo electrophysiological method using cortico-cortical evoked potentials induced by single-pulse electrical cortical stimulation has been developed in an extraoperative setting. By (...) using the CCEP connectivity pattern intraoperatively, mapping and real-time monitoring of the dorsal language pathway is available. This intraoperative CCEP method also allows for mapping of the frontal aslant tract, another language pathway, and detection of connectivity between the primary and supplementary motor areas in the frontal lobe network. Intraoperative CCEP mapping has also demonstrated connectivity between the frontal and temporal lobes, likely via the ventral language pathway. Establishing intraoperative electrophysiological monitoring is clinically useful for preserving brain function, even under general anesthesia. This CCEP technique demonstrates potential clinical applications for mapping and monitoring large-scale cortical networks. (shrink)

We consider a set-theoretic version of mereology based on the inclusion relation ⊆ and analyze how well it might serve as a foundation of mathematics. After establishing the non-definability of ∈ from ⊆, we identify the natural axioms for ⊆-based mereology, which constitute a finitely axiomatizable, complete, decidable theory. Ultimately, for these reasons, we conclude that this form of set-theoretic mereology cannot by itself serve as a foundation of mathematics. Meanwhile, augmented forms of set-theoretic mereology, such as that obtained by (...) adding the singleton operator, are foundationally robust. (shrink)

We shall prove the second incompleteness theorem via Kolmogorov complexity.

This paper introduces sequent systems for Visser's two propositional logics: Basic Propositional Logic (BPL) and Formal Propositional Logic (FPL). It is shown through semantical completeness that the cut rule is admissible in each system. The relationships with Hilbert-style axiomatizations and with other sequent formulations are discussed. The cut-elimination theorems are also demonstrated by syntactical methods.

We present a version of Herbelin’s image-calculus in the call-by-name setting to study the precise correspondence between normalization and cut-elimination in classical logic. Our translation of λμ-terms into a set of terms in the calculus does not involve any administrative redexes, in particular η-expansion on μ-abstraction. The isomorphism preserves β,μ-reduction, which is simulated by a local-step cut-elimination procedure in the typed case, where the reduction system strictly follows the “ cut=redex” paradigm. We show that the underlying untyped calculus is confluent (...) and enjoys the PSN property for the isomorphic image of λμ-calculus, which in turn yields a confluent and strongly normalizing local-step cut-elimination procedure for classical logic. (shrink)

We define a liar-type paradox as a consistent proposition in propositional modal logic which is obtained by attaching boxes to several subformulas of an inconsistent proposition in classical propositional logic, and show several famous paradoxes are liar-type. Then we show that we can generate a liar-type paradox from any inconsistent proposition in classical propositional logic and that undecidable sentences in arithmetic can be obtained from the existence of a liar-type paradox. We extend these results to predicate logic and discuss Yablo’s (...) Paradox in this framework. Furthermore, we define explicit and implicit self-reference in paradoxes in the incompleteness phenomena. (shrink)

専門的な予備知識は仮定せずに完全性定理や計算可能性から論じ、第一および第二不完全性定理、Rosserの定理、Hilbertのプログラム、G ̈odelの加速定理、算術の超準モデル、Kolmogorov複雑性などを紹介して、不完全性定理の数学的意義と、その根源にある哲学的問題を説く。.

サンデルや現代コミュニタリアンは、なぜ今、古代からの西洋政治思想「共通善」を改めて説くのか。新たな実践哲学が、ここから始まる。.

On applique ici la méthode de l’analyse de réseau pour comprendre les temporalités de la construction de l’imprimerie, comme activité économique associant des hommes de lettres et des acteurs économiques. À partir des informations contenues dans l’Incunabula Short Title Catalogue, deux types de réseaux sont construits pour les éditions imprimées à Venise entre 1469 et 1500. Le premier permet d’observer le vivier des noms d’auteurs présents dans les éditions. Le second permet d’aller plus loin dans les notions de centralité et (...) d’autorité dans le réseau. Les presses vénitiennes se sont construites par l’utilisation réciproque des ateliers et des grands noms lettrés, dont le prestige légitimait les grandes entreprises typographiques. Avec le développement de l’imprimerie, les noms d’auteurs contemporains se font plus nombreux. Pour l’ensemble des lettrés impliqués dans l’imprimerie, cela se traduit par un rapport de force en leur défaveur. Les imprimeurs organisent eux-mêmes leurs collaborations en choisissant dans un vivier qui ne fait que s’accroître. Le prestige des auteurs est plus diffus et se nourrit de l’association de plusieurs noms dans une édition. Mais certains ont su particulièrement bien en jouer, comme le montre l’exemple d’Antonio Mancinelli. Ces réseaux éditoriaux, analysés dans leur épaisseur chronologique, permettent ainsi de redonner une vraie dimension temporelle à la construction d’une nouvelle industrie culturelle. (shrink)

明治時代、人々は狐憑きやコックリさんなどの怪現象に右往左往していた。若き哲学者の井上圓了は、それらに合理的な道筋をつけることこそが哲学普及につながると信じて奔走。柳田國男からは見地の違いから「井上圓了 君には徹頭徹尾反対」と言われながらも、開学した「哲学館」(現東洋大学)で「妖怪学」の講義を行い、日本各地で膨大な怪異談を収集した。妖怪学者であり、哲学者、宗教改革者であった隠れた偉人、初の評伝。.

Recently, Edwards and Liaschenko questioned the validity of an argument put forward by Dr Søren Holm and Joseph Dunne concerning the impossibility of a theory of nursing. Taking into consideration the premises of the argument, I describe how Maritain's conception of philosophy allows for the possibility of a theory of nursing conceived as a philosophy of nursing art that is both practical and propositional in nature. As well, I identify how the philosophy of nursing art guides nursing art in developing (...) and applying other kinds of artistic practical nursing knowledge: artistic nursing rules and artistic prudential nursing judgements. Finally, the relationship of ethical knowledge to artistic practical nursing knowledge is set down. (shrink)